Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 8 of 8 (0.02 secs)
You searched for: subject:"partial order"
[texts]mit :: lcs :: tr :: MIT-LCS-TR-220
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-220
Keywords: streams; data; stream; dfpl; semantics; input; output; operators; program; operator; dfpl program; continuous functions; data flow; programming language; partial order; dfpl programs; upper bound; denotational semantics; input streams; primitive operators
Downloads: 21
[texts]mit :: lcs :: tr :: MIT-LCS-TR-105
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-105
Keywords: comparator; theorem; network; assignments; sorting; injective; assignment; partial; set; valued; injective assignments; sorting network; partial order; valued assignments; comparator network; characteristic function; sorting networks; total order; partial orders; standard form
Downloads: 19
[texts]mit :: lcs :: tr :: MIT-LCS-TR-995
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-995
Keywords: abd; tag; atomic; ordered; status; operations; atomicity; simulation; operation; distributed; initially empty; atomic object; read phase; response event; forward simulation; partial order; write operations; read operation; write operation; write phase
Downloads: 36
[texts]mit :: lcs :: tr :: MIT-LCS-TR-285
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-285
Keywords: lemma; action; algebra; algorithm; mapping; assume; precondition; correctness; concurrency; data; augmented action; action summary; concurrency control; action tree; possibilities mapping; local mapping; distributed algebra; action trees; partial order; locking algorithm
Downloads: 39
[texts]mit :: lcs :: tm :: MIT-LCS-TM-032
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-032
Keywords: recursive; functions; theorem; embedding; operator; partial; serviced; countable; complexity; classes; recursive functions; total effective; partial order; embedding theorem; countable partial; complexity classes; security classification; operator embedding; effective operator; dense chains
Downloads: 45 (1 review)
[texts]BSTJ 61: 8. October 1982: Comparisons on Blocking Probabilities for Regular Series Parallel Channel Graphs. (Du, D.Z.; Hwang, F.K.)
Bell System Technical Journal, 61: 8. October 1982 pp 1965-1973. Comparisons on Blocking Probabilities for Regular Series Parallel Channel Graphs. (Du, D.Z.; Hwang, F.K.)
Keywords: graph; multiplex; channel; theorem; submajorized; parallel; partial; takagi; weakly; rspcg; parallel channel; multiplex set; channel graph; partial order; takagi graph; channel graphs; system technical; weakly submajorized; series parallel; regular series
Downloads: 25
[texts]mit :: lcs :: tr :: MIT-LCS-TR-839
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-839
Keywords: type; lock; locks; thread; object; partial; system; java; class; min; concurrent java; thread holds; type system; data races; lock level; lock levels; allows programmers; partial order; type checker; safe concurrent
Downloads: 39
[texts]mit :: ai :: aim :: AIM-1339
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-1339
Keywords: step; nonlinear; causal; prerequisite; operator; planning; procedure; plan; steps; strips; partial order; modal truth; nonlinear plan; causal links; strips planning; add list; ground procedure; symbol table; causal link; step names
Downloads: 35
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Related mediatypes

texts